making blood transfusions safer

New Blood Transfusions in Shock

In this article the differences between blood bank 8...'1d normal blood is shown. The danger of massive blood transfusion specially in shocked patient is discussed. The importance of warm blood, correction of acidosis with ventilation and bicarbonate, and the use of fresh plasma to compensate the reduction of coagulation factors are mentioned. The value of acid­phosphaite-dexterose (APD) as sto...

Making Electronic Refunds Safer

We show how to break an electronic cash protocol due to van Antwerpen (a refinement of the system proposed by Chaum, Fiat, and Naor), and give an alternative protocol that fixes the problem.

Making carotid surgery safer.

Carotid surgery has been shown to be beneficial in level one randomised trials. However, evidence suggests that current outcomes do not match those published in 1991. In order to make carotid endarterectomy safer in the future, it is essential to optimise patient selection and risk factor management and to maintain an obsessional approach to surgical technique. A planned strategy of monitoring ...

Making safer treatment choices

Making Software Refactorings Safer

Refactorings often require that non-trivial semantic correctness conditions are met. IDEs such as Eclipse’s Java Development Tools rely on simpler, static precondition checks for refactorings. This leads to the phenomenon that a seemingly innocuous refactoring can change the behavior of the program. In this thesis we demonstrate our technique of introducing runtime checks of two particular refa...

Making Safer Object-oriented Languages

In this short paper I sketch out a problem, which is rarely recognized by designers of programing languages. Null values are a source of many problems and run-time errors as well as some incoherences in language and data model design. I propose a nice and simple solution altering the semantics of variables declarations and give some additional information to the compiler and verifier.